<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>TypedOperation (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="TypedOperation (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":6,"i3":6,"i4":6,"i5":10,"i6":10,"i7":9,"i8":9,"i9":9,"i10":9,"i11":9,"i12":9,"i13":9,"i14":9,"i15":9,"i16":10,"i17":10,"i18":9,"i19":9,"i20":9,"i21":10,"i22":10,"i23":10,"i24":10,"i25":10,"i26":10,"i27":10,"i28":10,"i29":6,"i30":10,"i31":10,"i32":10,"i33":10,"i34":10,"i35":9,"i36":10,"i37":10,"i38":10,"i39":10,"i40":6,"i41":10};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],4:["t3","Abstract Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/operation/TypedClassOperationWithCast.html" title="class in randoop.operation"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/operation/TypedTermOperation.html" title="class in randoop.operation"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/operation/TypedOperation.html" target="_top">Frames</a></li>
<li><a href="TypedOperation.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.operation</div>
<h2 title="Class TypedOperation" class="title">Class TypedOperation</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.operation.TypedOperation</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<dl>
<dt>All Implemented Interfaces:</dt>
<dd><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Comparable.html?is-external=true" title="class or interface in java.lang">Comparable</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt;, <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></dd>
</dl>
<dl>
<dt>Direct Known Subclasses:</dt>
<dd><a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>, <a href="../../randoop/operation/TypedTermOperation.html" title="class in randoop.operation">TypedTermOperation</a></dd>
</dl>
<hr>
<br>
<pre>public abstract class <span class="typeNameLabel">TypedOperation</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>
implements <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Comparable.html?is-external=true" title="class or interface in java.lang">Comparable</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt;</pre>
<div class="block">Type decorator of <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> objects. An operation has zero or more input types, and one
 output type that may be <code>void</code>.</div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation"><code>TypedClassOperation</code></a>, 
<a href="../../randoop/operation/TypedTermOperation.html" title="class in randoop.operation"><code>TypedTermOperation</code></a></dd>
</dl>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#execSpec">execSpec</a></span></code>
<div class="block">The specification for this operation</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/TypeTuple.html" title="class in randoop.types">TypeTuple</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#inputTypes">inputTypes</a></span></code>
<div class="block">The type tuple of input types.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/operation/CallableOperation.html" title="class in randoop.operation">CallableOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#operation">operation</a></span></code>
<div class="block">The operation to be decorated</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#outputType">outputType</a></span></code>
<div class="block">The output type.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#TypedOperation-randoop.operation.CallableOperation-randoop.types.TypeTuple-randoop.types.Type-">TypedOperation</a></span>(<a href="../../randoop/operation/CallableOperation.html" title="class in randoop.operation">CallableOperation</a>&nbsp;operation,
              <a href="../../randoop/types/TypeTuple.html" title="class in randoop.types">TypeTuple</a>&nbsp;inputTypes,
              <a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;outputType)</code>
<div class="block">Create typed operation for the given <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a>.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t3" class="tableTab"><span><a href="javascript:show(4);">Abstract Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#addExecutableSpecification-randoop.condition.ExecutableSpecification-">addExecutableSpecification</a></span>(<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a>&nbsp;execSpec)</code>
<div class="block">Sets the specification; any previous value is ignored (so the method name <code>addExecutableSpecification</code> may be misleading).</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#addNullReceiver-java.lang.Object:A-">addNullReceiver</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;values)</code>
<div class="block">Fixes the argument array for checking an <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> -- inserting <code>null</code> as first
 argument when this operation is static.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>abstract void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#appendCode-java.util.List-java.lang.StringBuilder-">appendCode</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputVars,
          <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/StringBuilder.html?is-external=true" title="class or interface in java.lang">StringBuilder</a>&nbsp;b)</code>
<div class="block">Appends Java text for this operation to the given <code>StringBuilder</code>, and using the given
 variables.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>abstract <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#apply-randoop.types.Substitution-">apply</a></span>(<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</code>
<div class="block">Applies the given substitution to the generic types in this operation, and returns a new
 operation with the instantiated types.</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>abstract <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#applyCaptureConversion--">applyCaptureConversion</a></span>()</code>
<div class="block">Applies a capture conversion to the wildcard types of this operation, and returns a new
 operation with new type variables for the wildcard types.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition">ExpectedOutcomeTable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#checkPrestate-java.lang.Object:A-">checkPrestate</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;values)</code>
<div class="block">Tests the specification for this operation against the argument values and returns the <a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition"><code>ExpectedOutcomeTable</code></a> indicating the results of checking the pre-conditions of the
 specifications of the operation.</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#compareTo-randoop.operation.TypedOperation-">compareTo</a></span>(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;other)</code>
<div class="block">Compares this <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> to another.</div>
</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createArrayCreation-randoop.types.ArrayType-">createArrayCreation</a></span>(<a href="../../randoop/types/ArrayType.html" title="class in randoop.types">ArrayType</a>&nbsp;arrayType)</code>
<div class="block">Creates a simple array creation operation for the given type.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createArrayElementAssignment-randoop.types.ArrayType-">createArrayElementAssignment</a></span>(<a href="../../randoop/types/ArrayType.html" title="class in randoop.types">ArrayType</a>&nbsp;arrayType)</code>
<div class="block">Creates an operation to assign a value to an array element.</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createCast-randoop.types.Type-randoop.types.Type-">createCast</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;fromType,
          <a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;toType)</code>
<div class="block">Creates an operation to cast from one type to another.</div>
</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createGetterForField-java.lang.reflect.Field-randoop.types.ClassOrInterfaceType-">createGetterForField</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect">Field</a>&nbsp;field,
                    <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</code>
<div class="block">Creates a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> that represents a read access to a field.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createInitializedArrayCreation-randoop.types.ArrayType-int-">createInitializedArrayCreation</a></span>(<a href="../../randoop/types/ArrayType.html" title="class in randoop.types">ArrayType</a>&nbsp;arrayType,
                              int&nbsp;size)</code>
<div class="block">Creates an operation that creates an array of the given type and size.</div>
</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createNonreceiverInitialization-randoop.operation.NonreceiverTerm-">createNonreceiverInitialization</a></span>(<a href="../../randoop/operation/NonreceiverTerm.html" title="class in randoop.operation">NonreceiverTerm</a>&nbsp;term)</code>
<div class="block">Creates an operation that uses the given <a href="../../randoop/operation/NonreceiverTerm.html" title="class in randoop.operation"><code>NonreceiverTerm</code></a> for initializing a variable.</div>
</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createNullOrZeroInitializationForType-randoop.types.Type-">createNullOrZeroInitializationForType</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type)</code>
<div class="block">Creates an operation that initializes a variable to the zero value for the given type.</div>
</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createPrimitiveInitialization-randoop.types.Type-java.lang.Object-">createPrimitiveInitialization</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                             <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</code>
<div class="block">Creates an operation that initializes a variable to a given primitive value.</div>
</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#createSetterForField-java.lang.reflect.Field-randoop.types.ClassOrInterfaceType-">createSetterForField</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect">Field</a>&nbsp;field,
                    <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</code>
<div class="block">Creates a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> that represents a write access to a field.</div>
</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#equals-java.lang.Object-">equals</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;obj)</code>&nbsp;</td>
</tr>
<tr id="i17" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#execute-java.lang.Object:A-java.io.PrintStream-">execute</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;input,
       <a href="https://docs.oracle.com/javase/8/docs/api/java/io/PrintStream.html?is-external=true" title="class or interface in java.io">PrintStream</a>&nbsp;out)</code>
<div class="block">Performs this operation using the array of input values.</div>
</td>
</tr>
<tr id="i18" class="altColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#forConstructor-java.lang.reflect.Constructor-">forConstructor</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect">Constructor</a>&lt;?&gt;&nbsp;constructor)</code>
<div class="block">Constructs a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> for a constructor object.</div>
</td>
</tr>
<tr id="i19" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#forMethod-java.lang.reflect.Method-">forMethod</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&nbsp;method)</code>
<div class="block">Constructs a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> for a method object.</div>
</td>
</tr>
<tr id="i20" class="altColor">
<td class="colFirst"><code>private static <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getAnonEnumOperation-java.lang.reflect.Method-java.util.List-java.lang.Class-">getAnonEnumOperation</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&nbsp;method,
                    <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;&nbsp;methodParamTypes,
                    <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;enumClass)</code>
<div class="block">Constructs a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> for an enum from a method object that is a member of an
 anonymous class for an enum constant.</div>
</td>
</tr>
<tr id="i21" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/types/TypeTuple.html" title="class in randoop.types">TypeTuple</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getInputTypes--">getInputTypes</a></span>()</code>
<div class="block">Returns the tuple of input types for this operation.</div>
</td>
</tr>
<tr id="i22" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getName--">getName</a></span>()</code>
<div class="block">Returns the name for the operation.</div>
</td>
</tr>
<tr id="i23" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/operation/CallableOperation.html" title="class in randoop.operation">CallableOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getOperation--">getOperation</a></span>()</code>
<div class="block">Get the enclosed operation in this typed operation.</div>
</td>
</tr>
<tr id="i24" class="altColor">
<td class="colFirst"><code><a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getOutputType--">getOutputType</a></span>()</code>
<div class="block">Returns the output type returned by the operation.</div>
</td>
</tr>
<tr id="i25" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getSignatureString--">getSignatureString</a></span>()</code>
<div class="block">Returns the signature string for this operation.</div>
</td>
</tr>
<tr id="i26" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getTypeParameters--">getTypeParameters</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i27" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#getValue--">getValue</a></span>()</code>
<div class="block">Returns the "value" of an operation that is actually a ground term, meaning a constant of some
 form.</div>
</td>
</tr>
<tr id="i28" class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#hashCode--">hashCode</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i29" class="rowColor">
<td class="colFirst"><code>abstract boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#hasWildcardTypes--">hasWildcardTypes</a></span>()</code>
<div class="block">Indicates whether this operation has a type that is a wildcard type.</div>
</td>
</tr>
<tr id="i30" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isConstantField--">isConstantField</a></span>()</code>
<div class="block">Predicate to indicate whether this object represents a constant field.</div>
</td>
</tr>
<tr id="i31" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isConstructorCall--">isConstructorCall</a></span>()</code>
<div class="block">Predicate to indicate whether object represents a call to a constructor.</div>
</td>
</tr>
<tr id="i32" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isGeneric--">isGeneric</a></span>()</code>
<div class="block">Indicate whether this operation is generic.</div>
</td>
</tr>
<tr id="i33" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isMessage--">isMessage</a></span>()</code>
<div class="block">Predicate to indicate whether object represents a method-call-like operation (either static or
 instance).</div>
</td>
</tr>
<tr id="i34" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isMethodCall--">isMethodCall</a></span>()</code>
<div class="block">Indicates whether this object represents a method-call operation (either static or instance).</div>
</td>
</tr>
<tr id="i35" class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isNonreceiverType-randoop.types.Type-">isNonreceiverType</a></span>(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type)</code>
<div class="block">Determines whether the given <a href="../../randoop/types/Type.html" title="class in randoop.types"><code>Type</code></a> is the type of a non-receiver term: primitive, boxed
 primitive, or <code>String</code>.</div>
</td>
</tr>
<tr id="i36" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isNonreceivingValue--">isNonreceivingValue</a></span>()</code>
<div class="block">Predicate to indicate whether this object represents a value of a non-receiving type (includes
 numbers, strings, and null).</div>
</td>
</tr>
<tr id="i37" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isStatic--">isStatic</a></span>()</code>
<div class="block">Predicate to indicate whether object represents a static operation on the declaring class.</div>
</td>
</tr>
<tr id="i38" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#isUncheckedCast--">isUncheckedCast</a></span>()</code>
<div class="block">Predicate to indicate whether this object represents an unchecked cast.</div>
</td>
</tr>
<tr id="i39" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#satisfies-randoop.reflection.ReflectionPredicate-">satisfies</a></span>(<a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate)</code>
<div class="block">Determines whether the reflective object in this <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> satisfies the <code>canUse</code>
 criteria of the given <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection"><code>ReflectionPredicate</code></a>.</div>
</td>
</tr>
<tr id="i40" class="altColor">
<td class="colFirst"><code>abstract <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#toParsableString--">toParsableString</a></span>()</code>
<div class="block">Constructs a string representation of this operation that can be parsed by parse methods of the
 implementing types.</div>
</td>
</tr>
<tr id="i41" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/operation/TypedOperation.html#toString--">toString</a></span>()</code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="operation">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>operation</h4>
<pre>private final&nbsp;<a href="../../randoop/operation/CallableOperation.html" title="class in randoop.operation">CallableOperation</a> operation</pre>
<div class="block">The operation to be decorated</div>
</li>
</ul>
<a name="inputTypes">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>inputTypes</h4>
<pre>private final&nbsp;<a href="../../randoop/types/TypeTuple.html" title="class in randoop.types">TypeTuple</a> inputTypes</pre>
<div class="block">The type tuple of input types. For a non-static method call or an instance field access, the
 first input type is always that of the receiver, that is, the declaring class of the method or
 the field. Refer to <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a>.</div>
</li>
</ul>
<a name="outputType">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>outputType</h4>
<pre>private final&nbsp;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a> outputType</pre>
<div class="block">The output type.</div>
</li>
</ul>
<a name="execSpec">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>execSpec</h4>
<pre>private&nbsp;<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a> execSpec</pre>
<div class="block">The specification for this operation</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="TypedOperation-randoop.operation.CallableOperation-randoop.types.TypeTuple-randoop.types.Type-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>TypedOperation</h4>
<pre>TypedOperation(<a href="../../randoop/operation/CallableOperation.html" title="class in randoop.operation">CallableOperation</a>&nbsp;operation,
               <a href="../../randoop/types/TypeTuple.html" title="class in randoop.types">TypeTuple</a>&nbsp;inputTypes,
               <a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;outputType)</pre>
<div class="block">Create typed operation for the given <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation to wrap</dd>
<dd><code>inputTypes</code> - the input types</dd>
<dd><code>outputType</code> - the output types</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="equals-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>equals</h4>
<pre>public&nbsp;boolean&nbsp;equals(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;obj)</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="compareTo-randoop.operation.TypedOperation-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>compareTo</h4>
<pre>public final&nbsp;int&nbsp;compareTo(<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;other)</pre>
<div class="block">Compares this <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> to another. Orders operations by type (any <a href="../../randoop/operation/TypedTermOperation.html" title="class in randoop.operation"><code>TypedTermOperation</code></a> object precedes a <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation"><code>TypedClassOperation</code></a>) then lexicographically
 (alphabetically comparing class names, then operation names, then input type names, and finally
 output type names).</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Comparable.html?is-external=true#compareTo-T-" title="class or interface in java.lang">compareTo</a></code>&nbsp;in interface&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Comparable.html?is-external=true" title="class or interface in java.lang">Comparable</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt;</code></dd>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>other</code> - the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> to compare with this operation</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>value &lt; 0 if this operation precedes <code>op</code>, 0 if the operations are identical,
     and &gt; 0 if this operation succeeds op</dd>
</dl>
</li>
</ul>
<a name="hashCode--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hashCode</h4>
<pre>public&nbsp;int&nbsp;hashCode()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="toString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toString()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="getName--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getName</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;getName()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#getName--">Operation</a></code></span></div>
<div class="block">Returns the name for the operation.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#getName--">getName</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the name for this operation</dd>
</dl>
</li>
</ul>
<a name="getSignatureString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSignatureString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;getSignatureString()</pre>
<div class="block">Returns the signature string for this operation.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a string with the fully-qualified operation name and input type-tuple</dd>
</dl>
</li>
</ul>
<a name="getInputTypes--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getInputTypes</h4>
<pre>public&nbsp;<a href="../../randoop/types/TypeTuple.html" title="class in randoop.types">TypeTuple</a>&nbsp;getInputTypes()</pre>
<div class="block">Returns the tuple of input types for this operation. For a non-static method call or an
 instance field access, the first input type is always the declaring class of the method or
 field.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>tuple of concrete input types</dd>
</dl>
</li>
</ul>
<a name="getOutputType--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getOutputType</h4>
<pre>public&nbsp;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;getOutputType()</pre>
<div class="block">Returns the output type returned by the operation.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd><a href="../../randoop/types/Type.html" title="class in randoop.types"><code>Type</code></a> type returned by this operation</dd>
</dl>
</li>
</ul>
<a name="getOperation--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getOperation</h4>
<pre>public&nbsp;<a href="../../randoop/operation/CallableOperation.html" title="class in randoop.operation">CallableOperation</a>&nbsp;getOperation()</pre>
<div class="block">Get the enclosed operation in this typed operation.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the enclosed operation</dd>
</dl>
</li>
</ul>
<a name="hasWildcardTypes--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasWildcardTypes</h4>
<pre>public abstract&nbsp;boolean&nbsp;hasWildcardTypes()</pre>
<div class="block">Indicates whether this operation has a type that is a wildcard type.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if at least one input or output type has a wildcard, false otherwise</dd>
</dl>
</li>
</ul>
<a name="isGeneric--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isGeneric</h4>
<pre>public&nbsp;boolean&nbsp;isGeneric()</pre>
<div class="block">Indicate whether this operation is generic. An operation is generic if any of its input and
 output types are generic.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if the operation is generic, false if not</dd>
</dl>
</li>
</ul>
<a name="isStatic--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isStatic</h4>
<pre>public&nbsp;boolean&nbsp;isStatic()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isStatic--">Operation</a></code></span></div>
<div class="block">Predicate to indicate whether object represents a static operation on the declaring class.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isStatic--">isStatic</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if operation corresponds to static method or field of a class, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="isMessage--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isMessage</h4>
<pre>public&nbsp;boolean&nbsp;isMessage()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isMessage--">Operation</a></code></span></div>
<div class="block">Predicate to indicate whether object represents a method-call-like operation (either static or
 instance). This includes field getters and setters, which are operations that access fields.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isMessage--">isMessage</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if operation is method-like, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="isMethodCall--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isMethodCall</h4>
<pre>public&nbsp;boolean&nbsp;isMethodCall()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isMethodCall--">Operation</a></code></span></div>
<div class="block">Indicates whether this object represents a method-call operation (either static or instance).
 This excludes getters and setters.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isMethodCall--">isMethodCall</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if this operation is a method call, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="isConstantField--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isConstantField</h4>
<pre>public&nbsp;boolean&nbsp;isConstantField()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isConstantField--">Operation</a></code></span></div>
<div class="block">Predicate to indicate whether this object represents a constant field.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isConstantField--">isConstantField</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if this operation is a constant field, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="isConstructorCall--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isConstructorCall</h4>
<pre>public&nbsp;boolean&nbsp;isConstructorCall()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isConstructorCall--">Operation</a></code></span></div>
<div class="block">Predicate to indicate whether object represents a call to a constructor.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isConstructorCall--">isConstructorCall</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if operation is a constructor call, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="isNonreceivingValue--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isNonreceivingValue</h4>
<pre>public&nbsp;boolean&nbsp;isNonreceivingValue()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isNonreceivingValue--">Operation</a></code></span></div>
<div class="block">Predicate to indicate whether this object represents a value of a non-receiving type (includes
 numbers, strings, and null).</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isNonreceivingValue--">isNonreceivingValue</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if object is a non-receiving value, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="getValue--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getValue</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;getValue()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#getValue--">Operation</a></code></span></div>
<div class="block">Returns the "value" of an operation that is actually a ground term, meaning a constant of some
 form. Only null if value is null, otherwise throws an exception if there is not a reasonable
 meaning of value for type of operation.

 <p>This is a hack to allow randoop.main.GenBranchDir to do mutation.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#getValue--">getValue</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>object reference to value</dd>
</dl>
</li>
</ul>
<a name="satisfies-randoop.reflection.ReflectionPredicate-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>satisfies</h4>
<pre>public&nbsp;boolean&nbsp;satisfies(<a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate)</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#satisfies-randoop.reflection.ReflectionPredicate-">Operation</a></code></span></div>
<div class="block">Determines whether the reflective object in this <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> satisfies the <code>canUse</code>
 criteria of the given <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection"><code>ReflectionPredicate</code></a>.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#satisfies-randoop.reflection.ReflectionPredicate-">satisfies</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>reflectionPredicate</code> - a <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection"><code>ReflectionPredicate</code></a> to be checked</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>result of applying reflectionPredicate to object</dd>
</dl>
</li>
</ul>
<a name="appendCode-java.util.List-java.lang.StringBuilder-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>appendCode</h4>
<pre>public abstract&nbsp;void&nbsp;appendCode(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputVars,
                                <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/StringBuilder.html?is-external=true" title="class or interface in java.lang">StringBuilder</a>&nbsp;b)</pre>
<div class="block">Appends Java text for this operation to the given <code>StringBuilder</code>, and using the given
 variables.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>inputVars</code> - the list of input variables for this operation</dd>
<dd><code>b</code> - the <code>StringBuilder</code></dd>
</dl>
</li>
</ul>
<a name="execute-java.lang.Object:A-java.io.PrintStream-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execute</h4>
<pre>public&nbsp;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&nbsp;execute(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;input,
                                <a href="https://docs.oracle.com/javase/8/docs/api/java/io/PrintStream.html?is-external=true" title="class or interface in java.io">PrintStream</a>&nbsp;out)</pre>
<div class="block">Performs this operation using the array of input values. Returns the results of execution as an
 ResultOrException object and can output results to specified PrintStream.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>input</code> - array containing appropriate inputs to operation</dd>
<dd><code>out</code> - stream to output results of execution; if null, nothing is printed</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>results of executing this statement</dd>
</dl>
</li>
</ul>
<a name="apply-randoop.types.Substitution-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>apply</h4>
<pre>public abstract&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;apply(<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</pre>
<div class="block">Applies the given substitution to the generic types in this operation, and returns a new
 operation with the instantiated types.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>substitution</code> - the substitution</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the operation resulting from applying the substitution to the types of this operation</dd>
</dl>
</li>
</ul>
<a name="applyCaptureConversion--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>applyCaptureConversion</h4>
<pre>public abstract&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;applyCaptureConversion()</pre>
<div class="block">Applies a capture conversion to the wildcard types of this operation, and returns a new
 operation with new type variables for the wildcard types.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the operation result from applying a capture conversion to wildcard types of this
     operation</dd>
</dl>
</li>
</ul>
<a name="getTypeParameters--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getTypeParameters</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;getTypeParameters()</pre>
</li>
</ul>
<a name="toParsableString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toParsableString</h4>
<pre>public abstract&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toParsableString()</pre>
<div class="block">Constructs a string representation of this operation that can be parsed by parse methods of the
 implementing types.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a string representation of this operation</dd>
</dl>
</li>
</ul>
<a name="forConstructor-java.lang.reflect.Constructor-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>forConstructor</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;forConstructor(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect">Constructor</a>&lt;?&gt;&nbsp;constructor)</pre>
<div class="block">Constructs a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> for a constructor object.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>constructor</code> - the reflective constructor object</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the typed operation for the constructor</dd>
</dl>
</li>
</ul>
<a name="forMethod-java.lang.reflect.Method-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>forMethod</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;forMethod(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&nbsp;method)</pre>
<div class="block">Constructs a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> for a method object.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>method</code> - the reflective method object</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the typed operation for the given method</dd>
</dl>
</li>
</ul>
<a name="getAnonEnumOperation-java.lang.reflect.Method-java.util.List-java.lang.Class-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getAnonEnumOperation</h4>
<pre>private static&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;getAnonEnumOperation(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&nbsp;method,
                                                        <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;&nbsp;methodParamTypes,
                                                        <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;enumClass)</pre>
<div class="block">Constructs a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> for an enum from a method object that is a member of an
 anonymous class for an enum constant. Will return null if no matching method is found in the
 enum.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>method</code> - the method of the anonymous class</dd>
<dd><code>methodParamTypes</code> - the parameter types of the method</dd>
<dd><code>enumClass</code> - the declaring class</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the typed operation for the given method, null if no matching method is found in <code>enumClass</code></dd>
</dl>
</li>
</ul>
<a name="createGetterForField-java.lang.reflect.Field-randoop.types.ClassOrInterfaceType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createGetterForField</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;createGetterForField(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect">Field</a>&nbsp;field,
                                                       <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</pre>
<div class="block">Creates a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> that represents a read access to a field.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>field</code> - the field</dd>
<dd><code>declaringType</code> - the declaring type for the field</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>an operation to access the given field of the declaring type</dd>
</dl>
</li>
</ul>
<a name="createSetterForField-java.lang.reflect.Field-randoop.types.ClassOrInterfaceType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createSetterForField</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;createSetterForField(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect">Field</a>&nbsp;field,
                                                       <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</pre>
<div class="block">Creates a <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> that represents a write access to a field.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>field</code> - the field</dd>
<dd><code>declaringType</code> - the declaring type of the field</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>an operation to set the value of the given field of the declaring type</dd>
</dl>
</li>
</ul>
<a name="createNullOrZeroInitializationForType-randoop.types.Type-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createNullOrZeroInitializationForType</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createNullOrZeroInitializationForType(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type)</pre>
<div class="block">Creates an operation that initializes a variable to the zero value for the given type.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>type</code> - the type of the initialization</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the initialization operation</dd>
</dl>
</li>
</ul>
<a name="createPrimitiveInitialization-randoop.types.Type-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createPrimitiveInitialization</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createPrimitiveInitialization(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type,
                                                           <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</pre>
<div class="block">Creates an operation that initializes a variable to a given primitive value.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>type</code> - the primitive type</dd>
<dd><code>value</code> - the value for initialization</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the initialization operation</dd>
</dl>
</li>
</ul>
<a name="createNonreceiverInitialization-randoop.operation.NonreceiverTerm-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createNonreceiverInitialization</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createNonreceiverInitialization(<a href="../../randoop/operation/NonreceiverTerm.html" title="class in randoop.operation">NonreceiverTerm</a>&nbsp;term)</pre>
<div class="block">Creates an operation that uses the given <a href="../../randoop/operation/NonreceiverTerm.html" title="class in randoop.operation"><code>NonreceiverTerm</code></a> for initializing a variable.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>term</code> - the <a href="../../randoop/operation/NonreceiverTerm.html" title="class in randoop.operation"><code>NonreceiverTerm</code></a></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the initialization operation</dd>
</dl>
</li>
</ul>
<a name="createInitializedArrayCreation-randoop.types.ArrayType-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createInitializedArrayCreation</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createInitializedArrayCreation(<a href="../../randoop/types/ArrayType.html" title="class in randoop.types">ArrayType</a>&nbsp;arrayType,
                                                            int&nbsp;size)</pre>
<div class="block">Creates an operation that creates an array of the given type and size.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>arrayType</code> - the type of the array</dd>
<dd><code>size</code> - the size of the created array</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the array creation operation</dd>
</dl>
</li>
</ul>
<a name="createArrayCreation-randoop.types.ArrayType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createArrayCreation</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createArrayCreation(<a href="../../randoop/types/ArrayType.html" title="class in randoop.types">ArrayType</a>&nbsp;arrayType)</pre>
<div class="block">Creates a simple array creation operation for the given type.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>arrayType</code> - the desired array type</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>an operation to create an array of the given type</dd>
</dl>
</li>
</ul>
<a name="createCast-randoop.types.Type-randoop.types.Type-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createCast</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createCast(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;fromType,
                                        <a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;toType)</pre>
<div class="block">Creates an operation to cast from one type to another.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>fromType</code> - the input type</dd>
<dd><code>toType</code> - the resulting type</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>an operation that casts the input type to the result type</dd>
</dl>
</li>
</ul>
<a name="createArrayElementAssignment-randoop.types.ArrayType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createArrayElementAssignment</h4>
<pre>public static&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;createArrayElementAssignment(<a href="../../randoop/types/ArrayType.html" title="class in randoop.types">ArrayType</a>&nbsp;arrayType)</pre>
<div class="block">Creates an operation to assign a value to an array element.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>arrayType</code> - the type of the array</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>return an operation that</dd>
</dl>
</li>
</ul>
<a name="isNonreceiverType-randoop.types.Type-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isNonreceiverType</h4>
<pre>public static&nbsp;boolean&nbsp;isNonreceiverType(<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&nbsp;type)</pre>
<div class="block">Determines whether the given <a href="../../randoop/types/Type.html" title="class in randoop.types"><code>Type</code></a> is the type of a non-receiver term: primitive, boxed
 primitive, or <code>String</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>type</code> - the <a href="../../randoop/types/Type.html" title="class in randoop.types"><code>Type</code></a></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if the type is primitive, boxed primitive or <code>String</code>; false otherwise</dd>
</dl>
</li>
</ul>
<a name="isUncheckedCast--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isUncheckedCast</h4>
<pre>public&nbsp;boolean&nbsp;isUncheckedCast()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../randoop/operation/Operation.html#isUncheckedCast--">Operation</a></code></span></div>
<div class="block">Predicate to indicate whether this object represents an unchecked cast.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/operation/Operation.html#isUncheckedCast--">isUncheckedCast</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/operation/Operation.html" title="interface in randoop.operation">Operation</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if the this object is a cast, and false otherwise</dd>
</dl>
</li>
</ul>
<a name="checkPrestate-java.lang.Object:A-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>checkPrestate</h4>
<pre>public&nbsp;<a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition">ExpectedOutcomeTable</a>&nbsp;checkPrestate(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;values)</pre>
<div class="block">Tests the specification for this operation against the argument values and returns the <a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition"><code>ExpectedOutcomeTable</code></a> indicating the results of checking the pre-conditions of the
 specifications of the operation.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>values</code> - the argument values</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition"><code>ExpectedOutcomeTable</code></a> indicating the results of checking the pre-conditions
     of the specifications of the operation</dd>
</dl>
</li>
</ul>
<a name="addNullReceiver-java.lang.Object:A-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addNullReceiver</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;addNullReceiver(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;values)</pre>
<div class="block">Fixes the argument array for checking an <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> -- inserting <code>null</code> as first
 argument when this operation is static.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>values</code> - the argument array for this operation</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the corresponding operation array for checking a <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a></dd>
</dl>
</li>
</ul>
<a name="addExecutableSpecification-randoop.condition.ExecutableSpecification-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>addExecutableSpecification</h4>
<pre>public&nbsp;void&nbsp;addExecutableSpecification(<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a>&nbsp;execSpec)</pre>
<div class="block">Sets the specification; any previous value is ignored (so the method name <code>addExecutableSpecification</code> may be misleading).</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>execSpec</code> - the specification to use for this object</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/operation/TypedClassOperationWithCast.html" title="class in randoop.operation"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/operation/TypedTermOperation.html" title="class in randoop.operation"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/operation/TypedOperation.html" target="_top">Frames</a></li>
<li><a href="TypedOperation.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
